$\forall$$g$:IMonoid, $i$, $j$:$\mathbb{Z}$. ($i$ = $j$) $\Rightarrow$ ($\forall$$E$:(\{$i$..$j$$^{-}$\}$\rightarrow\mid$$g$$\mid$). $\Pi$($\ast$,e) $i$ $\leq$ $k$ $<$ $j$. $E$($k$) = e $\in$ $\mid$$g$$\mid$)